Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the (...) relation of our axiom systems to alternative proposals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic where free variables range over defined and undefined objects): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however. (shrink)

Thomas Hobbes argues that the fear of violent death is the most reliable passion on which to found political society. His role in shaping the contemporary view of religion and honor in the West is pivotal, yet his ideas are famously riddled with contradictions. In this breakthrough study, McClure finds evidence that Hobbes' apparent inconsistencies are intentional, part of a sophisticated rhetorical strategy meant to make man more afraid of death than he naturally is. Hobbes subtly undermined two of the (...) most powerful manifestations of man's desire for immortality: the religious belief in an afterlife and the secular desire for eternal fame through honor. McClure argues that Hobbes purposefully stirred up controversy, provoking his adversaries into attacking him and unwittingly spreading his message. This study will appeal to scholars of Hobbes, political theorists, historians of early modern political thought and anyone interested in the genesis of modern Western attitudes toward mortality. (shrink)

Human expression is open-ended, versatile, and diverse, ranging from ordinary language use to painting, from exaggerated displays of affection to micro-movements that aid coordination. Here we present and defend the claim that this expressive diversity is united by an interrelated suite of cognitive capacities, the evolved functions of which are the expression and recognition of informative intentions. We describe how evolutionary dynamics normally leash communication to narrow domains of statistical mutual benefit, and how expression is unleashed in humans. The relevant (...) cognitive capacities are cognitive adaptations to living in a partner choice social ecology; and they are, correspondingly, part of the ordinarily developing human cognitive phenotype, emerging early and reliably in ontogeny. In other words, we identify distinctive features of our species' social ecology to explain how and why humans, and only humans, evolved the cognitive capacities that, in turn, lead to massive diversity and open-endedness in means and modes of expression. Language use is but one of these modes of expression, albeit one of manifestly high importance. We make cross-species comparisons, describe how the relevant cognitive capacities can evolve in a gradual manner, and survey how unleashed expression facilitates not only language use, but also novel behaviour in many other domains too, focusing on the examples of joint action, teaching, punishment, and art, all of which are ubiquitous in human societies but relatively rare in other species. Much of this diversity derives from graded aspects of human expression, which can be used to satisfy informative intentions in creative and new ways. We aim to help reorient cognitive pragmatics, as a phenomenon that is not a supplement to linguistic communication and on the periphery of language science, but rather the foundation of the many of the most distinctive features of human behaviour, society, and culture. (shrink)

Drawing from normal accident theory, high reliability theory, and systems theory, we analyze the Charter for the Protection of Children and Young People that is promulgated by the United States Conference of Catholic Bishops in response to the sexual abuses of minors by clergy members. Although the Charter is a step in the right direction, there remain some areas that require immediate attention. In spite of the goodwill processes, the safety of minors must remain the concerted efforts and responsibilities of (...) individuals at all the various levels if the Catholic Church is to prevent further cases of abuse from happening. (shrink)

This book comprehensively examines the aesthetic views of Thomas Aquinas, treating both the objective nature and the subjective human experience of beauty. It locates Aquinas’s views in their historical context and illustrates their relations to other popular aesthetic views.

One of our main goals with “Expression unleashed” was to highlight the distinctive, ostensive nature of human communication, and the many roles that ostension can play in human behavior and society. The commentaries we received forced us to be more precise about several aspects of this thesis. At the same time, no commentary challenged the central idea that the manifest diversity of human expression is underpinned by a common cognitive unity. Our reply is organized around six issues: (1) languages and (...) their cultural evolution; (2) the pervasiveness of expression in human behavior; (3) artificial intelligence and ostensive communication; (4) communication in other animals; (5) the ecology and evolution of ostensive communication; and (6) biolinguistics and pragmatics. (shrink)

This Special Issue on Psychedelic Ethics highlights that while psychedelic medicine may not be “exceptional” in its therapeutic value and risk (Cohen and Marks 2025), it is “distinctive” in that it...

In his paper, “Mersenne’s Principles of Song Creation,” Eric Wilkinson (2023) lists several aims he intends to establish. I will confine my comments to two areas only: First, on the reasons given for preferring Aquinas’s theory of the passions as the major influence on Mersenne to those of either Aristotle or Cicero, and Second, on its representation of Aquinas’s theory of the passions.

Given immunity’s general role in the organism’s economy—both in terms of its internal environment as well as mediating its external relations—immune theory has expanded its traditional formulation of preserving individual autonomy to one that includes accounting for nutritional processes and symbiotic relationships that require immune tolerance. When such a full ecological alignment is adopted, the immune system becomes the mediator of both defensive and assimilative environmental intercourse, where a balance of immune rejection and tolerance governs the complex interactions of the (...) organism’s ecological relationships. Accordingly, immunology, which historically had affiliated with the biology of individuals, now becomes a science concerned with the biology of communities. With this translocation, the ontological basis of the organism is undergoing a profound change. Indeed, the recent recognition of the ubiquity of symbiosis has challenged the traditional notions of biological individuality and requires a shift in the metaphysics undergirding biology, in which a philosophy of the organism must be characterized by ecological dialectics “all-the-way-down.”. (shrink)

The ArgumentWhile postmodernism has had very little influence in biology, it can provide a framework for discussing the context in which biology is done. Here, four biological views of the body/self are contrasted: the neural, immunological, genetic, and Phenotypic bodies. Each physical view of the body extrapolates into a different model of the body politic, and each posits a different relationship between bodies of knowledge. The neural view of the body models a body politic wherein society is defined by its (...) culture and laws. The genetic view privileges views of polities based on ethnicity and race. The immune body extrapolates into polities that can defend themselves against other such polities. The phenotypic view of the body politic stands in opposition to these three major perspectives and integrates them without given any predominance. The view of science as a “neural” body of knowledge contends that science is aperspectival and objective. The perspective of the “immune” body is that science exists to defend the interests of its creators. The genetic view of science is that science is the basis of all culture. The extrapolation of the phenotypic body to science insists upon the utilitarian rationale for scientific enterprises. In all instances, the genetic view of the body/body politic/body of science is presently in ascendance. (shrink)

Embryology is an intensely visual field, and it has provided the public with images of human embryos and fetuses. The responses to these images can be extremely powerful and personal, and the images (as well as our reactions to them) are conditioned by social and political agendas. The image of the 'autonomous fetus' abstracts the fetus from the mother, the womb, and from all social contexts, thereby emphasizing 'individuality'. The image of 'sacred DNA' emphasizes DNA as the unmoved mover, the (...) eidos, the soul of the human being. Since fertilization involves the forming of a new constellation of DNA in the zygote, the act of fertilization is being perceived as the secular and technical equivalent of ensoulment. This privileges fertilization above the other possible scientifically valued times when 'human life' begins. (shrink)

Many commentators have accused Aquinas of committing either a formal or an informal fallacy in his Third Way argument. I believe it is possible to revise the Third Way argument so as to avoid such errors. I here present a revision of the first part of the Third Way that is (a) immune to the objections most commonly raised against it, (b) consonant with the basic tenets of Thomism, and (c) plausible from a contemporary point of view.

The current study used cross-modal oddball tasks to examine cardiac and behavioral responses to changing auditory and visual information. When instructed to press the same button for auditory and visual oddballs, auditory dominance was found with cross-modal presentation slowing down visual response times more than auditory response times (Experiment 1). When instructed to make separate responses to auditory and visual oddballs, visual dominance was found with cross-modal presentation decreasing auditory discrimination and participants also made more visual-based than auditory-based errors on (...) cross-modal trials (Experiment 2). Experiment 3 increased task demands while requiring a single button press and found evidence of auditory dominance, suggesting that it is unlikely that increased task demands can account for the reversal in Experiment 2. Auditory processing speed was the best predictor of auditory dominance, with auditory dominance being stronger in participants who were slower at processing the sounds, whereas, auditory and visual processing speed and baseline heart rate variability did not predict visual dominance. Examination of cardiac responses that were time-locked with stimulus onset showed cross-modal facilitation effects, with auditory and visual discrimination occurring earlier in the course of processing in the cross-modal condition than in the unimodal conditions. The current findings showing that response demand manipulations reversed modality dominance and that time-locked cardiac responses show cross-modal facilitation, not interference, suggest that auditory and visual dominance effects may both be occurring later in the course of processing, not from disrupted encoding. (shrink)

Issues of interest, identity and values intertwine in environmental conflicts, creating challenges that cannot generally be overcome using rationalities grounded in generalised argumentation and abstraction. To address the growing need to engage interests and identities along with plural values in the conservation of biodiversity and ecological systems, we introduce the concept of ‘appropriateness of actions’ and ground it in a relational understanding of environmental ethics. A determination of appropriateness for actions comes from combining outputs from value elicitation with those of (...) interest and identity negotiation in ways that are salient to specific people and their relationships to specific places. Drawing on the Blue Mountain Forest Partnership in the Pacific Northwest, we propose factors of success for supporting appropriate actions: 1) understanding context and identifying key stakeholders; 2) surfacing a diversity of interests and building system-level trust; 3) building empathy for different identities grounded in specific places; 4) eliciting diverse values and seeking to understand their links to worldviews and knowledge systems and; 5) seeking out appropriate actions. (shrink)

Developmental biology is a theory of interpretation. Developmental signals are interpreted differently depending on the previous history of the responding cell. Thus, there is a context for the reception of a signal. While this conclusion is obvious during metamorphosis, when a single hormone instructs some cells to proliferate, some cells to differentiate, and other cells to die, it is commonplace during normal development. Paracrine factors such as BMP4 can induce apoptosis, proliferation, or differentiation depending upon the history of the responding (...) cells. In addition, organisms have evolved to alter their development in response to differences in temperature, diet, the presence of predators, or the presence of competitors. This allows them to develop the phenotype, within the limits imposed by the genotype, best suited for the immediate habitat of the organism. Most developing organisms have also evolved to expect developmental signals from symbionts, and these organisms develop abnormally if the symbiont signals are not present. Thus Hoffmeyer’s “vertical semiotic system” of genetic communication and “horizontal semiotic system” of ecological communication are integrated during development. (shrink)

Developmental biology is expanding into several new areas. One new area of study concerns the production of adult-onset phenotypes by exposure of the fetus or neonate to environmental agents. These agents include maternal nutrients, developmental modulators (endocrine disruptors), and maternal care. In all three cases, a major mechanism for the generation of the altered phenotype is chromatin modification. Nutrient conditions, developmental modulators, and even maternal care appear to alter DNA methylation and other associated changes in chromatin that regulate gene expression. (...) This brings a new, under-appreciated, dimension of gene regulation into developmental biology, and it also demonstrates the poverty of the nature versus nurture framework for discussing phenotype production. Moreover, while such epigenetic mechanisms undermine genetic determinism, they add a layer of probabilistic biological causality for the maintenance of social inequalities. (shrink)

Traditional methods of instruction can fail to produce enduring ways of learning, especially in rapidly changing disciplines in the life sciences. Educators and funding agencies are thus calling for new, integrated teaching approaches to address the life sciences. Hierarchical frameworks are being proposed as ways to tackle curricula with large numbers of concepts. Comparing lecture‐based and interactive formats by measuring performance with pre‐ and post‐tests indicated significantly higher learning gains and better conceptual understanding in the more interactive course. Other work (...) has examined how the history of biology can be used to infuse relevance into the biology curriculum. In this paper, I describe a project at Stanford to create, implement, and evaluate an integrated curriculum in undergraduate stem cell education comprised of scientific, laboratory, and ELSI topics. (shrink)

Canada’s rapid rise in deaths from euthanasia and physician assisted suicide, termed Medical Assistance in Dying (MAID) in the country, now ranks it second only to the Netherlands in terms of MAiD deaths as percentage of overall deaths, with one province already hosting the highest rate of all jurisdictions in the world. Analyzing Health Canada’s annual MAID reports, which show that up to 336 out of 1837 providers are likely responsible for the majority of MAID deaths in a given year, (...) we discuss how the rapid increase likely reflects not a broad Canadian consensus but the capture of a policy-making and implementation process by a small group of activists and clinicians colonizing medicine to become an ideologically driven vehicle for expanding MAID access and delivery. As a remedy and to reprioritize patient safety and protection against premature death, a more transparent, relevant, and safeguarded compliance regime based on evidence-based, multi-perspective policy-making is needed. (shrink)

Although Caenorhabditis elegans was chosen and modified to be an organism that would facilitate a reductionist program for neurogenetics, recent research has provided evidence for properties that are emergent from the neurons. While neurogenetic advances have been made using C. elegans which may be useful in explaining human neurobiology, there are severe limitations on C. elegans to explain any significant human behavior.

Holobionts, consisting of a host and diverse microbial symbionts, function as distinct biological entities anatomically, metabolically, immunologically, and developmentally. Symbionts can be transmitted from parent to offspring by a variety of vertical and horizontal methods. Holobionts can be considered levels of selection in evolution because they are well-defined interactors, replicators/reproducers, and manifestors of adaptation. An initial mathematical model is presented to help understand how holobionts evolve. The model offered combines the processes of horizontal symbiont transfer, within-host symbiont proliferation, vertical symbiont (...) transmission, and holobiont selection. The model offers equations for the population dynamics and evolution of holobionts whose hologenomes differ in gene copy number, not in allelic or loci identity. The model may readily be extended to include variation among holobionts in the gene identities of both symbionts and host. (shrink)

Holobionts are multicellular eukaryotes with multiple species of persistent symbionts. They are not individuals in the genetic sense— composed of and regulated by the same genome—but they are anatomical, physiological, developmental, immunological, and evolutionary units, evolved from a shared relationship between different species. We argue that many of the interactions between human and microbiota symbionts and the reproductive process of a new holobiont are best understood as instances of reciprocal scaffolding of developmental processes and mutual construction of developmental, ecological, and (...) evolutionary niches. Our examples show that mother, fetus, and different symbiotic microbial communities induce or constitute conditions for the development and reproduction of one another. These include the direct induction of maternal or fetus physiological changes, the restructuring of ecological relations between communities, and evolutionary selection against undesirable competitors. The mutual scaffolding and niche constructing processes start early—prior to amniotic rupture. We are evolutionarily, physiologically, and developmentally integrated holobiont systems, strung together through mutual reliance and mutual construction. Bringing the processes of niche construction and developmental scaffolding together to interpret holobiont birth conceptually scaffolds two new directions for research: in niche construction, identifying the evolutionary implications of organisms actively constructing multiple overlapping niches and scaffolds, and in Evolutionary Developmental Biology, characterizing evolutionary and ecological processes as developmental causes. (shrink)

This essay strives to bring together the institutional history of phenomenological psychology within the American academy from the middle of the 20th century to the current moment. Although phenomenological psychology has always been a dynamically international and interdisciplinary movement, the scope of this essay is limited to the different ways in which this new field expressed itself in certain psychology departments and educational institutions across the United States. After presenting this institutional history, and some individual contributors, a brief commentary is (...) offered. (shrink)

: While Augustine distinguishes free choice from true liberty, his account of human freedom implies further distinctions which Augustine himself does not make explicit. More importantly, Augustine regards these distinct types of freedom as qualitatively different; some are clearly superior to others. Descartes also distinguishes qualitatively different types of freedom, and does so in a way that parallels Augustine's view. I here argue that Augustine divides freedom into four qualitatively distinct grades, and then demonstrate that Descartes’ account of freedom is (...) a rationalist adaptation of the theory of free choice found in Augustine. (shrink)